On the theory of simple-ordered groups
نویسندگان
چکیده
منابع مشابه
A Class of Simple Lattice-ordered Groups
A lattice-ordered group (/-group) is said to be regular il no positive element of the group is disjoint from any of its conjugates. It is well known that every simple regular /-group is totally ordered [S]. The subgroups of the reals are the most elementary examples of regular simple /-groups; other examples can be found in [2] and [ó]. In this note we investigate a class of simple /-groups at ...
متن کاملA simple proof of the hereditary undecidability of the theory of lattice-ordered abelian groups
In 1967 Gurevich [3] published a proof that the class of divisible Axchimedean lat t ice-ordered abelian groups such that the lattice of carriers is an atomic Boolean algebra has a hereditarily undecidable first-order theory. (He essentially showed the reduct of this class to lattices has a hereditarily undecidable first-order theory: on p. 49 of his paper change z ~ u + v to z ~ u v v in the d...
متن کاملthe analysis of the role of the speech acts theory in translating and dubbing hollywood films
از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...
15 صفحه اولProof theory for lattice-ordered groups
Proof theory can provide useful tools for tackling problems in algebra. In particular, Gentzen systems admitting cut-elimination have been used to establish decidability, complexity, amalgamation, admissibility, and generation results for varieties of residuated lattices corresponding to substructural logics. However, for classes of algebras bearing some family resemblance to groups, such as la...
متن کاملOrdered Groups with Greatest Common Divisors Theory
An embedding (called a GCD theory) of partly ordered abelian group G into abelian l-group Γ is investigated such that any element of Γ is an infimum of a subset (possible non-finite) from G. It is proved that a GCD theory need not be unique. A complete GCD theory is introduced and it is proved that G admits a complete GCD theory if and only if it admits a GCD theory G Γ such that Γ is an Archim...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Czechoslovak Mathematical Journal
سال: 1956
ISSN: 0011-4642,1572-9141
DOI: 10.21136/cmj.1956.100175